A Theory of Qualified Types
نویسنده
چکیده
• The ability to include local constraints as part of the type of an object. This enables the definition and use of polymorphic overloaded values within a program. ∗An earlier version of this paper was presented at the European Symposium on Programming, Rennes, France, February 1992 and appears in the conference proceedings published in Springer Verlag LNCS Volume 582. †Address from September 1992: Yale University, Department of Computer Science, P.O. Box 2158 Yale Station, New Haven, Connecticut 06520-2158, USA.
منابع مشابه
Computing local coefficients via types and covers: the example of $SL(2)$
We illustrate a method of computing Langlands-Shahidi local coefficients via the theory of types and covers. The purpose of this paper is to illustrate a method of computing the Langlands-Shahidi local coefficients using the theory of types and covers.
متن کاملTheoretical overview of two types of anaclitic and introjective depression with emphasis on Sidney Blatt theory
Blatt highlighted two intertwined pathways of healthy development and therapeutic processes: the anaclitic pathway and the introjective pathway, in this regard, also two types of introjective and anaclitic depression is proposed; which require independent treatments with various emphases despite having similar symptoms. However, in the available therapies, only the same symptoms were emphasized...
متن کاملDesign and Validation of Decentering Schemes for Decision-Making about Curriculum Based on Schwab’s Theory and Features of the Curriculum Development System in Iran
Aim: the present study aimed to design and validate decentering schemes for decision making about curriculum based on Schwab’s practical theory and features of the educational system in Iran. Method: in the first step, qualitative methods of "Speculative Essay", "Evaluative Inquiry: Situational Assessment", and "Integrative Inquiry: The Research Synthesis" were employed to explain decentering ...
متن کاملUsing Satisficing Game Theory for Performance Evaluation of Banks’ Branches (Case Study in the Mellat Bank)
Due to its role in the identification of inefficient branches and deciding the consistency of their activities, evaluating the performance of a bankchr('39')s branches is one of the most important decisions in the field of development and regulation of branch network. In this paper, the satisfactory functions based on game theory strategies have been utilized in order to evaluate the individual...
متن کاملExamining International Students’ Challenges at Yazd University based on Grounded Theory Research
Abstract Introduction: Over the last two decades, the issue of international students has been an integral part of the internalization of universities. Therefore, recognizing and probing into the issues faced by such students and trying to attract them to the target university have been among the political and economic goals of the country’s higher education. To this end, the present study aime...
متن کاملOn the Representation of Multiple Intelligence Types in the ILI Intermediate Coursebooks: A Coursebook Evaluation
This study aims at evaluating the coursebooks taught at the intermediate level of adult and young adult departments of the Iran Language Institute in terms of multiple intelligence types introduced by Gardner (1983) to see to what extent such coursebooks represent the Multiple Intelligence Theory. To fulfill the objectives, a checklist developed by Botelho (2003) and localized by the researcher...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Comput. Program.
دوره 22 شماره
صفحات -
تاریخ انتشار 1992